301. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
P74
302. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
303. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
304. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
305. Recent advances in constraints
پدیدآورنده : Javier Larrosa, Barry O'Sullivan (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses
رده :
Q340
.
J65
2011
306. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
307. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
پدیدآورنده : Boi Faltings... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3419
308. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
پدیدآورنده : Barry O'Sullivan )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2627
309. Recent developments in decision support systems
پدیدآورنده : edited by Clyde W. Holsapple, University of Kentucky, Business and Economic Bldg., Room 317, Lexington, KY 40506-0034, USA, Andrew B. Whinston, Department of Management Science and Information Systems, CBA 5.202, Graduate School of Business, University of Texas at Austin, Austin, TX 78712-1175, USA.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision support systems -- Congresses.,Decision support systems.,Management -- Data processing -- Congresses.
310. Recent trends in algebraic development techniques
پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
311. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
312. Research and education in robotics-EUROBOT 2008 :
پدیدآورنده : Achim Gottscheber, Stefan Enderle, David Obdrzalek (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine theory, Congresses.,Robotics, Congresses.,Robots, Congresses.,Informatique.,Machine theory.,Robotics.,Robots.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ210
.
3
.
E976
2009eb
313. Reversible computation :
پدیدآورنده : Michael Kirkedal Thomsen, Mathias Soeken (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
رده :
QA76
.
9
.
R48
314. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
315. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
316. Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
پدیدآورنده : Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman )eds.(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Rule-based programming -- Congresses,، Semantic Web -- Congresses
رده :
QA
76
.
76
.
R95
2016
317. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
318. Scalable Uncertainty Management
پدیدآورنده : \ Christoph Beierle • Alex Dekhtyar (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Uncertainty (Information theory) -- Congresses,عدم قطعیت (نظریه اطلاعات)-- کنگره ها
رده :
Q
375
.
S8S28
2015
E-Book
,
319. Scalable uncertainty management :
پدیدآورنده : Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
320. Scalable uncertainty management :
پدیدآورنده : Salem Benferhat, John Grant, (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Uncertainty (Information theory), Congresses,Artificial intelligence-- Congresses,Uncertainty (Information theory)-- Congresses
رده :
Q375
.
S86
2011
